1. A Precis of Mathematical Logic
المؤلف: by J.M. Bocheński.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2. Abduction and Induction
المؤلف: edited by Peter A. Flach, Antonis C. Kakas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
3. Acting and Reflecting :
المؤلف: edited by Wilfried Sieg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
4. Aktive Synthesen:
المؤلف: herausgegeben von Roland Breeur.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Phenomenology.,Philosophy (General)
5. Algebraic Foundations of Many-Valued Reasoning
المؤلف: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
6. Aspect of Modern Logic
المؤلف: by Evert W. Beth.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Philosophy (General),Philosophy.
رده :
BC78
.
D8
B948
1970
7. Aspects of Philosophical Logic :
المؤلف: edited by Uwe Mönnich.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Linguistics -- Philosophy.,Logic.,Philosophy (General)
8. Assumptions of Grand Logics
المؤلف: by James K. Feibleman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Philosophy (General)
رده :
BC71
.
B953
1979
9. Augustus De Morgan and the Logic of Relations
المؤلف: by Daniel D. Merrill.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Philosophy (General),Philosophy, Modern.
10. Automated Deduction - A Basis for Applications
المؤلف: edited by Wolfgang Bibel, Peter H. Schmitt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
11. Automated Deduction - A Basis for Applications
المؤلف: edited by Wolfgang Bibel, Peter H. Schmitt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
12. Basic Questions on Truth
المؤلف: by Paul Weingartner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Genetic epistemology.,Logic.,Philosophy (General)
رده :
BC171
.
B973
2000
13. Belief Change
المؤلف: edited by Didier Dubois, Henri Prade.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
رده :
Q375
.
E358
1998
14. Beyond Reason :
المؤلف: edited by Gonzalo Munévar.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Education -- Philosophy.,Logic.,Philosophy (General)
15. Combinators, [lambda]-Terms and Proof Theory
المؤلف: by Sören Stenlund.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Philosophy (General)
16. Communication and Meaning :
المؤلف: by Andrew J.I. Jones.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Linguistics -- Philosophy.,Logic.,Philosophy (General)
رده :
P90
.
B936
1983
17. Consciousness, Knowledge, and Truth :
المؤلف: edited by Roberto Poli.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Genetic epistemology.,Logic.,Philosophy (General)
رده :
BD171
.
E358
1993
18. Critical Rationalism, Metaphysics and Science :
المؤلف: edited by I.C. Jarvie, Nathaniel Laor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Genetic epistemology.,Logic.,Philosophy (General)
19. Defeasible Deontic Logic
المؤلف: edited by Donald Nute.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ethics.,Logic.,Philosophy (General)
20. Domain Theory, Logic and Computation :
المؤلف: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2003
